ГАМИЛЬТОНОВОСТЬ ЛОКАЛЬНО СВЯЗНЫХ ГРАФОВ: СЛОЖНОСТНЫЕ АСПЕКТЫ

In this article we consider the complexity of recognizing Hamiltonian graphs with a prescribed local structure: locally connected graphs with a bounded vertex degree, N2-locally connected K1 3-free graphs and locally connected almost K1, 3-free graphs. We establish the NP-completeness of the problem for each class of graphs under consideration. In particular, the conjecture stated in 2011 on polynomial solvability of the Hamiltonian cycle problem for locally connected graphs of maximum degree at most 6 was disproved. Also, for several known sufficient conditions of Hamiltonicity, it is shown that these conditions cannot be naturally weakened without loss of the polynomial solvability of the Hamiltonian cycle problem.В работе рассматривается вопрос о сложности задачи распознавания гамильтоновости графов с предписанной локальной структурой: локально связных графов с ограничениями на степени вершин, N2-локально связных К1 3-свободных графов и локально связных почти К1 3-свободных графов. Установлена NP-полнота задачи в каждом из рассматриваемых классов графов, тем самым, в частности, опровергнута гипотеза, выдвинутая в 2011 г., о полиномиальной разрешимости задачи о гамильтоновом цикле в классе локально связных графов со степенями вершин, не превосходящими 6. Также показано, что некоторые полученные ранее достаточные условия гамильтоновости не могут быть естественным образом ослаблены без потери свойства полиномиальной разрешимости задачи о гамильтоновом цикле

ХАРАКТЕРИЗАЦИЯ 1-ТРЕУГОЛЬНЫХ ГРАФОВ

A graph is called 1-triangle if for each maximal independent set I, each edge of this graph with both end vertices not belonging to I forms exactly one triangle with a vertex from the set I. We have obtained a structural characterization of 1-triangle graphs which implies a polynomial time recognition algorithm for this class of graphs.Граф называется 1-треугольным, если для любого максимального независимого множества I этого графа каждое ребро графа, не инцидентное ни одной вершине из I, образует единственный треугольник с вершиной из множества I. В работе получена структурная характеризация класса 1-треугольных графов, которая влечёт полиномиальный алгоритм их распознавания